Trait isotope::ctx::eq::TermEqCtxEdit[][src]

pub trait TermEqCtxEdit: TermEqCtxMut {
    fn make_term_eq(&mut self, left: &TermId, right: &TermId) -> bool;

    fn shallow_cons_make_term_eq(
        &mut self,
        left: &TermId,
        right: &TermId
    ) -> bool { ... } }
Expand description

A type which may be used as an editable context for checking isotope terms for equality

Required methods

Make two terms equivalent within this structure, returning whether they were already equivalent If this data structure conses, then this will deep cons both terms!

Provided methods

Make two terms equivalent within this structure, returning whether they were already equivalent If this data structure conses, then this will shallow-cons both terms

Implementors